home *** CD-ROM | disk | FTP | other *** search
- diff -c ../orig/builtins/common.c builtins/common.c
- *** ../orig/builtins/common.c Sat Nov 9 16:38:22 1991
- --- builtins/common.c Sat Nov 9 16:37:16 1991
- ***************
- *** 443,448 ****
- --- 443,461 ----
- int code, jump_to_top_level = 0;
- char *orig_string = string;
-
- + #ifdef MiNT
- + /*
- + * Poor, brain-dead Messy-DOS encouraged poor, brain-dead TOS to use
- + * \r's at end-of-lines. What were Atari thinking of when they put
- + * something other than Eunuchs in the ST?
- + */
- + do
- + if (*string == '\r')
- + *string = ' ';
- + while (*string++);
- + string = orig_string;
- + #endif
- +
- /* Unwind protect this invocation of parse_and_execute (). */
- begin_unwind_frame ("parse_and_execute_top");
- unwind_protect_int (parse_and_execute_level);
- diff -c ../orig/builtins/times.def builtins/times.def
- *** ../orig/builtins/times.def Sat Nov 9 16:38:24 1991
- --- builtins/times.def Sat Nov 9 16:38:06 1991
- ***************
- *** 29,34 ****
- --- 29,35 ----
- $END
-
- #include "../shell.h"
- + #include <stdio.h>
- #include <sys/types.h>
- #if defined (HAVE_RESOURCE) && !defined (hpux) && !defined (USGr4)
- #include <sys/time.h>
-